Search Results
Fetching Moths from the Works: Correctness Methods in Software - Brian L. Troutwine
Fred Hebert Talks with Brian Troutwine at Code Mesh
Papers We Love Too - June 2015
Getting Uphill on a Candle: Crushed Spines, Detached Retinas and One Small Step
Monitoring Complex Systems
loop while ("profit") : Gambling, Software, and How to Win at Everything - Kerri Miller
